Symbolic Information Flow Measurement (SIFM): A software for measurement of information flow using symbolic analysis
نویسندگان
چکیده
منابع مشابه
Computing Information Flow Using Symbolic Model-Checking
Several measures have been proposed in literature for quantifying the information leaked by the public outputs of a program with secret inputs. We consider the problem of computing information leaked by a deterministic or probabilistic program when the measure of information is based on (a) min-entropy and (b) Shannon entropy. The key challenge in computing these measures is that we need the to...
متن کاملPrecise Quantitative Information Flow Analysis Using Symbolic Model Counting
Quantitative information flow analyses (QIF) are a class of techniques for measuring the amount of confidential information leaked by a program to its public outputs. QIF analyses can be approximative or precise, offering different trade-offs. In this paper, we lift a particular limitation of precise QIF. We show how symbolic model counting replaces explicit leak enumeration with symbolic compu...
متن کاملPrecise quantitative information flow analysis - a symbolic approach
Quantitative information flow analysis (QIF) is a portfolio of software security assessment techniques measuring the amount of confidential information leaked by a program to its public outputs. In this paper, we extend the scope of precise QIF for deterministic imperative programs where information flow can be described with linear integer arithmetic. We propose two novel QIF analyses that pre...
متن کاملControl-Flow Residual Analysis for Symbolic Automata
Where full static analysis of systems fails to scale up due to system size, dynamic monitoring has been increasingly used to ensure system correctness. The downside is, however, runtime overheads which are induced by the additional monitoring code instrumented. To address this issue, various approaches have been proposed in the literature to use static analysis in order to reduce monitoring ove...
متن کاملA method for bubble volume measurement under constant flow conditions in gas–liquid two-phase flow
Measuring the volume of a bubble, especially at its detachment, is a basic subject in gas-liquid two-phase flow research. A new indirect method for this measurement under constant flow conditions is presented. An electronic device is designed and constructed based on laser beam intensity. This device calculates the frequency of the bubble formation by measuring the total time of the formation p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SoftwareX
سال: 2020
ISSN: 2352-7110
DOI: 10.1016/j.softx.2020.100470